\newcommand{\evold}[1]{\ensuremath{\mathcal{E}_d^{\mathtt{#1}}}\xspace}
\newcommand{\evols}[1]{\ensuremath{\mathcal{E}_s^{\mathtt{#1}}}\xspace}


%Full evolvability CCS
\newcommand{\evol}[1]{\ensuremath{\mathcal{E}^{\mathtt{#1}}}\xspace}




\newcommand{\OG}{\ensuremath{\mathsf{\mathbf{BA}}}\xspace} % bounded adaptation
\newcommand{\LG}{\ensuremath{\mathsf{\mathbf{EA}}}\xspace} % eventual adaptation



%separator
\newcommand{\sep}{ \  \  \mid \ \ }

%operatori
\newcommand{\update}[2]{\widetilde{#1}\{#2\} } % a{P}
\newcommand{\updatebig}[2]{\widetilde{#1}\big\{#2\big\} } % a{P}

\newcommand{\component}[2]{#1 [#2]   }  %a[P]
\newcommand{\componentbig}[2]{#1 \bigg[ #2 \bigg]   }  %a[P]
\newcommand{\componentbbig}[2]{#1 \big[ #2 \big]   }  %a[P]

\newcommand{\supd}[2]{\til{#1}^\circ\{#2\} } % a^o {P} subjective
\newcommand{\oupd}[2]{\til{#1}^\bullet\{#2\} } % a^o {P} objective o piena

\newcommand{\scomp}[2]{#1^\circ [#2]}    %a^o[P]
\newcommand{\ocomp}[2]{#1^\bullet [#2]}  %a^o[P]

\newcommand{\tuple}[2]{\langle #1 , #2 \rangle}


\newcommand{\procleq}{\preceq}
\newcommand{\subp}{\ensuremath{\mathsf{sub}}}

%\newcommand{\procleq}{\preceq}
\newcommand{\Comp}{\mathtt{Comp}}
%\newcommand{\subp}{\mathit{Sub}}
\newcommand{\ClSub}{\mathtt{ClSub}}
\newcommand{\nset}[1]{\ensuremath{\mathsf{lab}(#1)}}
\newcommand{\Tree}{\mathsf{Tr}}
\newcommand{\cnames}{\mathsf{apn}}

\newcommand{\barb}[1]{\! \Downarrow_{#1} }
\newcommand{\barbk}[1]{\! \Downarrow_{#1}^k }
\newcommand{\barbw}[1]{\! \Downarrow_{#1}^{\omega} }

\newcommand{\negbarbk}[1]{\rotatebox[origin=c]{270}{$\nRightarrow$}_{#1}^{\hspace{0.2mm}k}}
\newcommand{\negbarbw}[1]{\rotatebox[origin=c]{270}{$\nRightarrow$}_{#1}^{\hspace{0.2mm}\omega}}

\newcommand{\newbarb}[2]{#1 \rotatebox[origin=c]{270}{$\Mapsto$}_{#2}^{\hspace{1mm}k}}

\newcommand{\negbarb}[1]{\neg \Downarrow_{#1}^{ERROR}}


\newcommand{\BC}{{\cal CS}}


\newcommand{\newarro}[1]{\xrightarrow{#1} }
%\newcommand{\newarro}[1]{\shortmid \! \xrightarrow{#1} } %|->
\newcommand{\bigset}[1]{{\cal T}_{#1}}

\newcommand{\Par}{\mathsf{Par}}

\newcommand{\CStr}{\ensuremath{\mathsf{St}}}
\newcommand{\CStrs}{\ensuremath{\mathsf{Sub}_{\mathsf{St}}}}
\newcommand{\rootch}{l}
\newcommand{\dyn}[1]{\llbracket #1 \rrbracket_S^{\mathit{d}}}
\newcommand{\dyns}[2]{\llbracket #1 \rrbracket_{#2}^{\mathit{d}}}


\newcommand{\mmn}[1]{\ensuremath{\mathsf{#1}}}
\newcommand{\mmss}{MMs\xspace}
\newcommand{\mm}{MM\xspace}


\newcommand{\controll}{\ensuremath{\mathrm{\textsc{Control}}}\xspace}

\newcommand{\gar}[1]{G^{\langle#1\rangle}}
\newcommand{\garb}[2]{G_{#2}^{\langle#1\rangle}}


\newcommand{\fillcont}[2]{\ensuremath{#1[#2]}}
\newcommand{\fillcontbig}[2]{\ensuremath{#1\big[#2\big]}}
\newcommand{\fillcontBig}[2]{\ensuremath{#1\Big[#2\Big]}}


\newcommand{\numph}[1]{\ensuremath{{|}#1{|}_{\mathsf{ph}}}}
\newcommand{\numap}[1]{\ensuremath{{|}#1{|}_{\mathsf{ap}}}}

\newcommand{\encoding}[1]{\llbracket #1 \rrbracket}
\newcommand{\encp}[2]{\encoding{#1}_{#2}}

\newcommand{\on}{(\!|}
\newcommand{\cn}{|\!)}
\newcommand{\encn}[2]{\on #1 \cn_{#2}}
\newcommand{\encu}[1]{\on #1 \cn}
